Boolean algebra

Results: 1241



#Item
991Types and Hardware Description Languages. Tim Sheard February 16, 2007 Abstract Hardware description systems could benefit from advances in programming language design. Recent research, in the area of rich type systems

Types and Hardware Description Languages. Tim Sheard February 16, 2007 Abstract Hardware description systems could benefit from advances in programming language design. Recent research, in the area of rich type systems

Add to Reading List

Source URL: web.cecs.pdx.edu

Language: English - Date: 2007-02-16 18:28:43
992Journal on Satisfiability, Boolean Modeling and Computation[removed] The First and Second Max-SAT Evaluations Josep Argelich [removed]

Journal on Satisfiability, Boolean Modeling and Computation[removed] The First and Second Max-SAT Evaluations Josep Argelich [removed]

Add to Reading List

Source URL: jsat.ewi.tudelft.nl

Language: English - Date: 2008-10-01 08:14:56
993Journal of Machine Learning Research[removed]3681 Submitted 4/12; Revised 7/13; Published[removed]Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming

Journal of Machine Learning Research[removed]3681 Submitted 4/12; Revised 7/13; Published[removed]Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming

Add to Reading List

Source URL: jmlr.org

Language: English - Date: 2013-12-12 22:22:13
994To appear in E. Prouff, Ed., Constructive Side-Channel (COSADE 2014), Lecture Notes in Computer Science, Springer. Analysis and

To appear in E. Prouff, Ed., Constructive Side-Channel (COSADE 2014), Lecture Notes in Computer Science, Springer. Analysis and

Add to Reading List

Source URL: www.joye.site88.net

Language: English - Date: 2014-05-30 13:17:52
995On differentiation and homeostatic behaviours of Boolean dynamical systems⋆ ´ Elisabeth Remy and Paul Ruet CNRS - Institut de Math´ematiques de Luminy,

On differentiation and homeostatic behaviours of Boolean dynamical systems⋆ ´ Elisabeth Remy and Paul Ruet CNRS - Institut de Math´ematiques de Luminy,

Add to Reading List

Source URL: iml.univ-mrs.fr

Language: English - Date: 2006-11-27 04:01:42
996Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework Élisabeth Remy∗, Paul Ruet∗, Denis Thieffry† 1 ∗ CNRS

Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework Élisabeth Remy∗, Paul Ruet∗, Denis Thieffry† 1 ∗ CNRS

Add to Reading List

Source URL: iml.univ-mrs.fr

Language: English - Date: 2008-01-17 04:49:29
997Preprocessing and Inprocessing Techniques in SAT Armin Biere Institute for Formal Models and Verification Johannes Kepler University Linz, Austria

Preprocessing and Inprocessing Techniques in SAT Armin Biere Institute for Formal Models and Verification Johannes Kepler University Linz, Austria

Add to Reading List

Source URL: www.kr.tuwien.ac.at

Language: English - Date: 2011-09-06 10:46:19
998Curriculum Vitae Name: Eugene (Evgueni) Goldberg Citizenship:

Curriculum Vitae Name: Eugene (Evgueni) Goldberg Citizenship:

Add to Reading List

Source URL: eigold.tripod.com

Language: English - Date: 2014-05-13 11:37:03
999On the Incompressibility of Monotone DNFs Matthias P. Krieger∗ Johann Wolfgang Goethe-Universit¨at Frankfurt am Main Institut f¨ ur Informatik Lehrstuhl f¨

On the Incompressibility of Monotone DNFs Matthias P. Krieger∗ Johann Wolfgang Goethe-Universit¨at Frankfurt am Main Institut f¨ ur Informatik Lehrstuhl f¨

Add to Reading List

Source URL: www.thi.informatik.uni-frankfurt.de

Language: English - Date: 2010-11-03 11:40:59
1000EJTP 4, No. 16(III[removed]–14 Electronic Journal of Theoretical Physics Multiboundary Algebra as Pregeometry Ben Goertzel∗

EJTP 4, No. 16(III[removed]–14 Electronic Journal of Theoretical Physics Multiboundary Algebra as Pregeometry Ben Goertzel∗

Add to Reading List

Source URL: www.ejtp.com

Language: English - Date: 2009-08-25 12:57:40